Science Oxford

Results: 1516



#Item
61

Rewriting Ontological Queries into Small Nonrecursive Datalog Programs? Georg Gottlob1 and Thomas Schwentick2 1 Department of Computer Science, University of Oxford

Add to Reading List

Source URL: ceur-ws.org

- Date: 2011-06-28 16:30:18
    62

    Hierarchy in Generic Programming Libraries Jos´e Pedro Magalh˜aes1 and Andres L¨oh2 1 . Department of Computer Science, University of Oxford 2 . Well-Typed LLP

    Add to Reading List

    Source URL: dreixel.net

    - Date: 2015-07-26 08:12:32
      63

      University of Oxford Department of Computer Science Doctor of Philosophy in Computer Science Verification of Message Passing

      Add to Reading List

      Source URL: concurrency.informatik.uni-kl.de

      - Date: 2016-06-10 12:02:33
        64

        Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs Alastair Donaldson, Alexander Kaiser, Daniel Kroening, and Thomas Wahl Computer Science Department, Oxford University, United Kingdom Abstrac

        Add to Reading List

        Source URL: www.doc.ic.ac.uk

        - Date: 2012-08-31 08:16:46
          65

          Recent Developments in FDR? Philip Armstrong, Michael Goldsmith, Gavin Lowe, Jo¨el Ouaknine, Hristina Palikareva, A. W. Roscoe, and James Worrell Department of Computer Science, Oxford University, UK {phila,michael,gavi

          Add to Reading List

          Source URL: www.cs.ox.ac.uk

          - Date: 2012-07-26 22:40:05
            66

            Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

            Add to Reading List

            Source URL: www.doc.ic.ac.uk

            - Date: 2012-08-31 08:16:46
              67

              Static Livelock Analysis in CSP? Jo¨el Ouaknine, Hristina Palikareva, A. W. Roscoe, and James Worrell Department of Computer Science, Oxford University, UK {joel,hrip,awr,jbw}@cs.ox.ac.uk Abstract. In a process algebra

              Add to Reading List

              Source URL: www.cs.ox.ac.uk

              - Date: 2013-01-23 11:18:26
                68

                Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

                Add to Reading List

                Source URL: www0.cs.ucl.ac.uk

                  69

                  Advanced Functional Programming for Fun and Profit Jos´e Pedro Magalh˜aes Department of Computer Science, University of Oxford http://dreixel.net

                  Add to Reading List

                  Source URL: staff.fnwi.uva.nl

                  - Date: 2014-01-14 07:21:00
                    70

                    Information Dynamics Samson Abramsky Department of Computer Science, Oxford University Samson Abramsky (Department of Computer Science, Oxford University) Information Dynamics

                    Add to Reading List

                    Source URL: events.inf.ed.ac.uk

                    - Date: 2012-10-10 03:52:00
                      UPDATE